51![The Objective Caml system releaseDocumentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez) The Objective Caml system releaseDocumentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)](https://www.pdfsearch.io/img/71540d4f31f93ab235275399b629c400.jpg) | Add to Reading ListSource URL: caml.inria.frLanguage: English - Date: 1999-12-17 09:41:18
|
---|
52![The Objective Caml system release 3.00 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) The Objective Caml system release 3.00 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)](https://www.pdfsearch.io/img/1c132e9cd19ab8866c110ee45ce933fa.jpg) | Add to Reading ListSource URL: caml.inria.frLanguage: English - Date: 2000-04-27 07:31:49
|
---|
53![The Objective Caml system release 3.05 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) The Objective Caml system release 3.05 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)](https://www.pdfsearch.io/img/fd940833fb8bd0ef4b77f9d166fa9c98.jpg) | Add to Reading ListSource URL: caml.inria.frLanguage: English - Date: 2002-07-29 07:53:28
|
---|
54![The Objective Caml system release 2.04 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez) The Objective Caml system release 2.04 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)](https://www.pdfsearch.io/img/873d549bfa76e1c51d2014186d8fdf97.jpg) | Add to Reading ListSource URL: caml.inria.frLanguage: English - Date: 1999-11-26 11:50:56
|
---|
55![Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France](https://www.pdfsearch.io/img/aab03cf3d3c287a3e0c154ee6836d64c.jpg) | Add to Reading ListSource URL: cristal.inria.frLanguage: English - Date: 2007-12-16 08:06:13
|
---|
56![The Objective Caml system release 2.02 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez) The Objective Caml system release 2.02 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)](https://www.pdfsearch.io/img/d24d382f546e4751f4ca46f6276e40d7.jpg) | Add to Reading ListSource URL: caml.inria.frLanguage: English - Date: 2000-04-27 09:00:17
|
---|
57![The Objective Caml system release 3.06 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) The Objective Caml system release 3.06 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)](https://www.pdfsearch.io/img/aed61e102e2e7499142d6b3c2bbd6963.jpg) | Add to Reading ListSource URL: caml.inria.frLanguage: English - Date: 2002-08-20 03:44:31
|
---|
58![The Objective Caml system release 3.02 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) The Objective Caml system release 3.02 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)](https://www.pdfsearch.io/img/475fb39f840ff6e97306e11d594c60a7.jpg) | Add to Reading ListSource URL: caml.inria.frLanguage: English - Date: 2001-07-30 07:37:07
|
---|
59![Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy](https://www.pdfsearch.io/img/0d6e808d684fdad179737be919778a04.jpg) | Add to Reading ListSource URL: cristal.inria.frLanguage: English - Date: 2007-11-09 01:03:49
|
---|
60![Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt](https://www.pdfsearch.io/img/be64d9cd316c6fe3f86cb54e6a65a154.jpg) | Add to Reading ListSource URL: cristal.inria.frLanguage: English - Date: 2009-03-11 04:28:36
|
---|